Micron Document
πŸŽ–οΈGitΠ―Ρ€Π°πŸŽ–οΈ

Node / meshtastic / Meshtastic-Android / files / feature / firmware / src / jvmTest / kotlin / org / meshtastic / feature / firmware / FirmwareUpdateViewModelFileTest.kt

Displaying Raw β€’ Download

feature/firmware/src/jvmTest/kotlin/org/meshtastic/feature/firmware/FirmwareUpdateViewModelFileTest.kt c8d9795885f5f4edc710db10bc0d366dd72bccbc (c8d97958) Text, 45.08 KB

T8b949e/*
* Copyright (c) 2026 Meshtastic LLC
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
Tff7b72package T7ee787org.meshtastic.feature.firmware

Tff7b72import T7ee787androidx.lifecycle.ViewModelStore
Tff7b72import T7ee787dev.mokkery.MockMode
Tff7b72import T7ee787dev.mokkery.answering.calls
Tff7b72import T7ee787dev.mokkery.answering.returns
Tff7b72import T7ee787dev.mokkery.every
Tff7b72import T7ee787dev.mokkery.everySuspend
Tff7b72import T7ee787dev.mokkery.matcher.any
Tff7b72import T7ee787dev.mokkery.mock
Tff7b72import T7ee787dev.mokkery.verify
Tff7b72import T7ee787dev.mokkery.verify.VerifyMode
Tff7b72import T7ee787dev.mokkery.verify.VerifyMode.Companion.atLeast
Tff7b72import T7ee787dev.mokkery.verify.VerifyMode.Companion.exactly
Tff7b72import T7ee787dev.mokkery.verifySuspend
Tff7b72import T7ee787kotlinx.coroutines.CompletableDeferred
Tff7b72import T7ee787kotlinx.coroutines.Dispatchers
Tff7b72import T7ee787kotlinx.coroutines.ExperimentalCoroutinesApi
Tff7b72import T7ee787kotlinx.coroutines.flow.MutableStateFlow
Tff7b72import T7ee787kotlinx.coroutines.flow.flowOf
Tff7b72import T7ee787kotlinx.coroutines.test.StandardTestDispatcher
Tff7b72import T7ee787kotlinx.coroutines.test.advanceUntilIdle
Tff7b72import T7ee787kotlinx.coroutines.test.resetMain
Tff7b72import T7ee787kotlinx.coroutines.test.runCurrent
Tff7b72import T7ee787kotlinx.coroutines.test.runTest
Tff7b72import T7ee787kotlinx.coroutines.test.setMain
Tff7b72import T7ee787org.meshtastic.core.common.state.FirmwareMaintenanceLock
Tff7b72import T7ee787org.meshtastic.core.common.state.HiddenFeaturesUnlock
Tff7b72import T7ee787org.meshtastic.core.common.util.CommonUri
Tff7b72import T7ee787org.meshtastic.core.database.entity.FirmwareRelease
Tff7b72import T7ee787org.meshtastic.core.datastore.BootloaderWarningDataSource
Tff7b72import T7ee787org.meshtastic.core.datastore.FirmwareRecoveryDataSource
Tff7b72import T7ee787org.meshtastic.core.model.DeviceHardware
Tff7b72import T7ee787org.meshtastic.core.model.SoftDeviceVariant
Tff7b72import T7ee787org.meshtastic.core.repository.DeviceHardwareRepository
Tff7b72import T7ee787org.meshtastic.core.repository.FirmwareReleaseRepository
Tff7b72import T7ee787org.meshtastic.core.repository.NodeRestartTracker
Tff7b72import T7ee787org.meshtastic.core.repository.PlatformAnalytics
Tff7b72import T7ee787org.meshtastic.core.repository.RadioPrefs
Tff7b72import T7ee787org.meshtastic.core.resources.Res
Tff7b72import T7ee787org.meshtastic.core.resources.UiText
Tff7b72import T7ee787org.meshtastic.core.resources.firmware_update_extracting
Tff7b72import T7ee787org.meshtastic.core.testing.FakeNodeRepository
Tff7b72import T7ee787org.meshtastic.core.testing.FakeRadioController
Tff7b72import T7ee787org.meshtastic.core.testing.TestDataFactory
Tff7b72import T7ee787org.meshtastic.core.testing.runUntilSettled
Tff7b72import T7ee787kotlin.test.AfterTest
Tff7b72import T7ee787kotlin.test.BeforeTest
Tff7b72import T7ee787kotlin.test.Test
Tff7b72import T7ee787kotlin.test.assertEquals
Tff7b72import T7ee787kotlin.test.assertFalse
Tff7b72import T7ee787kotlin.test.assertIs
Tff7b72import T7ee787kotlin.test.assertNotNull
Tff7b72import T7ee787kotlin.test.assertNull
Tff7b72import T7ee787kotlin.test.assertTrue

T8b949e/**
* JVM-only ViewModel tests for paths that require [CommonUri.parse] (which delegates to `java.net.URI` on JVM). Covers
* [FirmwareUpdateViewModel.saveDfuFile] and [FirmwareUpdateViewModel.confirmLocalFirmwareFile].
*/
Tf0883e@OptInTb4b4b4(Te6edf3ExperimentalCoroutinesApiTff7b72::Te6edf3classTb4b4b4)
Tff7b72class T56d364FirmwareUpdateViewModelFileTest Tb4b4b4{

Tff7b72private Tff7b72val Te6edf3testDispatcher Tff7b72= Te6edf3StandardTestDispatcherTb4b4b4(Tb4b4b4)

Tff7b72private Tff7b72val Te6edf3firmwareReleaseRepositoryTb4b4b4: Te6edf3FirmwareReleaseRepository Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3deviceHardwareRepositoryTb4b4b4: Te6edf3DeviceHardwareRepository Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3nodeRepository Tff7b72= Te6edf3FakeNodeRepositoryTb4b4b4(Tb4b4b4)
Tff7b72private Tff7b72val Te6edf3radioController Tff7b72= Te6edf3FakeRadioControllerTb4b4b4(Tb4b4b4)
Tff7b72private Tff7b72val Te6edf3radioPrefsTb4b4b4: Te6edf3RadioPrefs Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3bootloaderWarningDataSourceTb4b4b4: Te6edf3BootloaderWarningDataSource Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3firmwareRecoveryDataSourceTb4b4b4: Te6edf3FirmwareRecoveryDataSource Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3firmwareUpdateManagerTb4b4b4: Te6edf3FirmwareUpdateManager Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3usbManagerTb4b4b4: Te6edf3FirmwareUsbManager Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3fileHandlerTb4b4b4: Te6edf3FirmwareFileHandler Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3firmwareRetrieverTb4b4b4: Te6edf3FirmwareRetriever Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)
Tff7b72private Tff7b72val Te6edf3firmwareMaintenanceLock Tff7b72= Te6edf3FirmwareMaintenanceLockTb4b4b4(Tb4b4b4)
Tff7b72private Tff7b72val Te6edf3analyticsTb4b4b4: Te6edf3PlatformAnalytics Tff7b72= Te6edf3mockTb4b4b4(Te6edf3MockModeTb4b4b4.Te6edf3autofillTb4b4b4)

Tff7b72private Tff7b72lateinit Tff7b72var Te6edf3viewModelTb4b4b4: Te6edf3FirmwareUpdateViewModel

Tff7b72private Tff7b72val Te6edf3hardware Tff7b72= Te6edf3DeviceHardwareTb4b4b4(Te6edf3hwModel Tff7b72= T79c0ff1Tb4b4b4, Te6edf3architecture Tff7b72= Ta5d6ff"Ta5d6ffnrf52Ta5d6ff"Tb4b4b4, Te6edf3platformioTarget Tff7b72= Ta5d6ff"Ta5d6fftbeamTa5d6ff"Tb4b4b4)

Tf0883e@BeforeTest
Tff7b72fun Td2a8ffsetUpTb4b4b4(Tb4b4b4) Tb4b4b4{
Te6edf3DispatchersTb4b4b4.Te6edf3setMainTb4b4b4(Te6edf3testDispatcherTb4b4b4)

Tff7b72val Te6edf3release Tff7b72= Te6edf3FirmwareReleaseTb4b4b4(Te6edf3id Tff7b72= Ta5d6ff"Ta5d6ff1Ta5d6ff"Tb4b4b4, Te6edf3title Tff7b72= Ta5d6ff"Ta5d6ff2.0.0Ta5d6ff"Tb4b4b4, Te6edf3zipUrl Tff7b72= Ta5d6ff"Ta5d6ffurlTa5d6ff"Tb4b4b4, Te6edf3releaseNotes Tff7b72= Ta5d6ff"Ta5d6ffnotesTa5d6ff"Tb4b4b4)
Te6edf3every Tb4b4b4{ Te6edf3firmwareReleaseRepositoryTb4b4b4.Te6edf3stableRelease Tb4b4b4} Te6edf3returns Te6edf3flowOfTb4b4b4(Te6edf3releaseTb4b4b4)
Te6edf3every Tb4b4b4{ Te6edf3firmwareReleaseRepositoryTb4b4b4.Te6edf3alphaRelease Tb4b4b4} Te6edf3returns Te6edf3flowOfTb4b4b4(Te6edf3releaseTb4b4b4)

Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffx11:22:33:44:55:66Ta5d6ff"Tb4b4b4)

Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3hardwareTb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3bootloaderWarningDataSourceTb4b4b4.Te6edf3isDismissedTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tff7b72true
Te6edf3every Tb4b4b4{ Te6edf3firmwareRecoveryDataSourceTb4b4b4.Te6edf3pending Tb4b4b4} Te6edf3returns Te6edf3flowOfTb4b4b4(Tff7b72nullTb4b4b4)

Te6edf3nodeRepositoryTb4b4b4.Te6edf3setMyNodeInfoTb4b4b4(
Te6edf3TestDataFactoryTb4b4b4.Te6edf3createMyNodeInfoTb4b4b4(Te6edf3myNodeNum Tff7b72= T79c0ff1T79c0ff2T79c0ff3Tb4b4b4, Te6edf3firmwareVersion Tff7b72= Ta5d6ff"Ta5d6ff1.9.0Ta5d6ff"Tb4b4b4, Te6edf3pioEnv Tff7b72= Ta5d6ff"Ta5d6fftbeamTa5d6ff"Tb4b4b4)Tb4b4b4,
Tb4b4b4)
Tff7b72val Te6edf3node Tff7b72=
Te6edf3TestDataFactoryTb4b4b4.Te6edf3createTestNodeTb4b4b4(
Te6edf3num Tff7b72= T79c0ff1T79c0ff2T79c0ff3Tb4b4b4,
Te6edf3userId Tff7b72= Ta5d6ff"Ta5d6ff!1234abcdTa5d6ff"Tb4b4b4,
Te6edf3hwModel Tff7b72= Te6edf3orgTb4b4b4.Te6edf3meshtasticTb4b4b4.Te6edf3protoTb4b4b4.Te6edf3HardwareModelTb4b4b4.Te6edf3TLORA_V2Tb4b4b4,
Tb4b4b4)
Te6edf3nodeRepositoryTb4b4b4.Te6edf3setOurNodeTb4b4b4(Te6edf3nodeTb4b4b4)

Te6edf3every Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3cleanupAllTemporaryFilesTb4b4b4(Tb4b4b4) Tb4b4b4} Te6edf3returns Tffa657Unit
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3deleteFileTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tffa657Unit
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3getDisplayNameTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3calls Tb4b4b4{ Tb4b4b4(Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff0Tff7b72] Tff7b72as Te6edf3CommonUriTb4b4b4)Tb4b4b4.Te6edf3pathSegmentsTb4b4b4.Te6edf3lastOrNullTb4b4b4(Tb4b4b4) Tb4b4b4}
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tff7b72null
Tb4b4b4}

Tf0883e@AfterTest
Tff7b72fun Td2a8fftearDownTb4b4b4(Tb4b4b4) Tb4b4b4{
Te6edf3DispatchersTb4b4b4.Te6edf3resetMainTb4b4b4(Tb4b4b4)
Tb4b4b4}

Tff7b72private Tff7b72fun Td2a8ffcreateViewModelTb4b4b4(Tb4b4b4) Tff7b72= Te6edf3FirmwareUpdateViewModelTb4b4b4(
Te6edf3firmwareReleaseRepositoryTb4b4b4,
Te6edf3deviceHardwareRepositoryTb4b4b4,
Te6edf3nodeRepositoryTb4b4b4,
Te6edf3radioControllerTb4b4b4,
Te6edf3radioPrefsTb4b4b4,
Te6edf3bootloaderWarningDataSourceTb4b4b4,
Te6edf3firmwareRecoveryDataSourceTb4b4b4,
Te6edf3firmwareUpdateManagerTb4b4b4,
Te6edf3usbManagerTb4b4b4,
Te6edf3fileHandlerTb4b4b4,
Te6edf3firmwareRetrieverTb4b4b4,
Te6edf3firmwareMaintenanceLockTb4b4b4,
Te6edf3TestApplicationCoroutineScopeTb4b4b4(Te6edf3testDispatcherTb4b4b4)Tb4b4b4,
Te6edf3HiddenFeaturesUnlockTb4b4b4(Tb4b4b4)Tb4b4b4,
Te6edf3analyticsTb4b4b4,
Te6edf3NodeRestartTrackerTb4b4b4(Te6edf3TestApplicationCoroutineScopeTb4b4b4(Te6edf3testDispatcherTb4b4b4)Tb4b4b4)Tb4b4b4,
Tb4b4b4)

Tff7b72private Tff7b72fun Td2a8fffirmwareUriTb4b4b4(Te6edf3fileNameTb4b4b4: Tffa657StringTb4b4b4)Tb4b4b4: Te6edf3CommonUri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///downloads/Tffd700$Te6edf3fileNameTa5d6ff"Tb4b4b4)

T8b949e// -----------------------------------------------------------------------
T8b949e// saveDfuFile()
T8b949e// -----------------------------------------------------------------------

Tf0883e@Test
Tff7b72fun Td2a8ff`saveDfuFile copies artifact and transitions through Processing states`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Put ViewModel into AwaitingFileSave state
Tff7b72val Te6edf3artifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/firmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware.uf2Ta5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
T8b949e// Manually set state to AwaitingFileSave (normally set by USB update handler)
Tff7b72val Te6edf3awaitingState Tff7b72= Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTb4b4b4(Te6edf3uf2Artifact Tff7b72= Te6edf3artifactTb4b4b4, Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware.uf2Ta5d6ff"Tb4b4b4)
T8b949e// Access private _state via reflection is messy β€” instead, force the state through the update path.
T8b949e// We can test by calling saveDfuFile when state is NOT AwaitingFileSave β€” it should be a no-op.

T8b949e// Actually, let's directly test the early-return guard:
T8b949e// When state is not AwaitingFileSave, saveDfuFile does nothing
Te6edf3viewModelTb4b4b4.Te6edf3saveDfuFileTb4b4b4(Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///output/firmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Should remain in Ready state (saveDfuFile returned early)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Tb4b4b4}

T8b949e// -----------------------------------------------------------------------
T8b949e// prepareLocalFirmwareFile() / confirmLocalFirmwareFile()
T8b949e// -----------------------------------------------------------------------

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile with BLE and invalid address shows error`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// Use a BLE prefix but non-MAC address to trigger validation failure
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffxnot-a-mac-addressTa5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3state Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateMethodTb4b4b4.Te6edf3BleTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4.Te6edf3updateMethodTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile reports a firmware_update_start action for the local file`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3verify Tb4b4b4{
Te6edf3analyticsTb4b4b4.Te6edf3trackActionTb4b4b4(
Ta5d6ff"Ta5d6fffirmware_update_startTa5d6ff"Tb4b4b4,
Te6edf3mapOfTb4b4b4(
Ta5d6ff"Ta5d6ffupdate_methodTa5d6ff" Te6edf3to Ta5d6ff"Ta5d6ffusbTa5d6ff"Tb4b4b4,
Ta5d6ff"Ta5d6ffis_recoveryTa5d6ff" Te6edf3to Tff7b72falseTb4b4b4,
Ta5d6ff"Ta5d6ffrelease_versionTa5d6ff" Te6edf3to Ta5d6ff"Ta5d6fflocalTa5d6ff"Tb4b4b4,
Ta5d6ff"Ta5d6ffwipe_deviceTa5d6ff" Te6edf3to Tff7b72falseTb4b4b4,
Tb4b4b4)Tb4b4b4,
Tb4b4b4)
Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile with BLE and invalid address reports no analytics action`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffxnot-a-mac-addressTa5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3verifyTb4b4b4(Te6edf3exactlyTb4b4b4(T79c0ff0Tb4b4b4)Tb4b4b4) Tb4b4b4{ Te6edf3analyticsTb4b4b4.Te6edf3trackActionTb4b4b4(Ta5d6ff"Ta5d6fffirmware_update_startTa5d6ff"Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile starts update after pending selection`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// Serial nRF52 β†’ USB method (no BLE address validation)
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3state Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateMethodTb4b4b4.Te6edf3UsbTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4.Te6edf3updateMethodTb4b4b4)

T8b949e// Mock startUpdate to transition to Success
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4.Te6edf3calls Tb4b4b4{
Tf0883e@SuppressTb4b4b4(Ta5d6ff"Ta5d6ffUNCHECKED_CASTTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3updateState Tff7b72= Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff3Tff7b72] Tff7b72as Tb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4) Tff7b72-Tff7b72> Tffa657Unit
Te6edf3updateStateTb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3SuccessTb4b4b4(Tb4b4b4)Tb4b4b4)
Tff7b72null
Tb4b4b4}

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4, Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTff7b72?.Te6edf3fileNameTb4b4b4)
Te6edf3verifySuspendTb4b4b4(Te6edf3exactlyTb4b4b4(T79c0ff0Tb4b4b4)Tb4b4b4) Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}

Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Should reach Success, Verifying, or VerificationFailed (verification timeout in test)
Tff7b72val Te6edf3finalState Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertTrueTb4b4b4(
Te6edf3finalState Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3Success Tff7b72|Tff7b72|
Te6edf3finalState Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3Verifying Tff7b72|Tff7b72|
Te6edf3finalState Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3VerificationFailedTb4b4b4,
Ta5d6ff"Ta5d6ffExpected success/verify state, got Tffd700$Te6edf3finalStateTa5d6ff"Tb4b4b4,
Tb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`dismissLocalFirmwareFile clears pending selection`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4, Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTff7b72?.Te6edf3fileNameTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3dismissLocalFirmwareFileTb4b4b4(Tb4b4b4)

Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile shows error when archive has no matching target`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6ffcorrupt.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3state Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4)
Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3verifySuspendTb4b4b4(Te6edf3exactlyTb4b4b4(T79c0ff0Tb4b4b4)Tb4b4b4) Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile extracts nrf firmware from release bundle`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Tff7b72val Te6edf3bundleUri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-nrf52840-2.8.0.zipTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3extractedArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3extractedArtifact

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3bundleUriTb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3pendingFile Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3value
Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4, Te6edf3pendingFileTff7b72?.Te6edf3fileNameTb4b4b4)
Te6edf3assertEqualsTb4b4b4(Te6edf3extractedArtifactTb4b4b4.Te6edf3uriTb4b4b4, Te6edf3pendingFileTff7b72?.Te6edf3uriTb4b4b4)
Te6edf3verifySuspendTb4b4b4(Te6edf3exactlyTb4b4b4(T79c0ff0Tb4b4b4)Tb4b4b4) Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile shows extracting progress while resolving bundle`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Tff7b72val Te6edf3bundleUri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-nrf52840-2.8.0.zipTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3extractionStarted Tff7b72= Te6edf3CompletableDeferredTff7b72<Tffa657UnitTff7b72>Tb4b4b4(Tb4b4b4)
Tff7b72val Te6edf3allowExtraction Tff7b72= Te6edf3CompletableDeferredTff7b72<Tffa657UnitTff7b72>Tb4b4b4(Tb4b4b4)
Tff7b72val Te6edf3extractedArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4.Te6edf3calls Tb4b4b4{
Te6edf3extractionStartedTb4b4b4.Te6edf3completeTb4b4b4(Tffa657UnitTb4b4b4)
Te6edf3allowExtractionTb4b4b4.Te6edf3awaitTb4b4b4(Tb4b4b4)
Te6edf3extractedArtifact
Tb4b4b4}

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3bundleUriTb4b4b4)
Te6edf3runCurrentTb4b4b4(Tb4b4b4)

Te6edf3assertTrueTb4b4b4(Te6edf3extractionStartedTb4b4b4.Te6edf3isCompletedTb4b4b4)
Tff7b72val Te6edf3processing Tff7b72= Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ProcessingTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Tff7b72val Te6edf3message Tff7b72= Te6edf3assertIsTff7b72<Te6edf3UiTextTb4b4b4.Te6edf3ResourceTff7b72>Tb4b4b4(Te6edf3processingTb4b4b4.Te6edf3progressStateTb4b4b4.Te6edf3messageTb4b4b4)
Te6edf3assertEqualsTb4b4b4(Te6edf3ResTb4b4b4.Te6edf3stringTb4b4b4.Te6edf3firmware_update_extractingTb4b4b4, Te6edf3messageTb4b4b4.Te6edf3resTb4b4b4)

Te6edf3allowExtractionTb4b4b4.Te6edf3completeTb4b4b4(Tffa657UnitTb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4, Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTff7b72?.Te6edf3fileNameTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile extracts esp32 firmware from release bundle`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Tff7b72val Te6edf3espHardware Tff7b72= Te6edf3DeviceHardwareTb4b4b4(Te6edf3hwModel Tff7b72= T79c0ff1Tb4b4b4, Te6edf3architecture Tff7b72= Ta5d6ff"Ta5d6ffesp32Ta5d6ff"Tb4b4b4, Te6edf3platformioTarget Tff7b72= Ta5d6ff"Ta5d6fftbeamTa5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3espHardwareTb4b4b4)
Tff7b72val Te6edf3bundleUri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-esp32-2.8.0.zipTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3extractedArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.binTa5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.binTa5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3extractedArtifact

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3bundleUriTb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3pendingFile Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3value
Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.binTa5d6ff"Tb4b4b4, Te6edf3pendingFileTff7b72?.Te6edf3fileNameTb4b4b4)
Te6edf3assertEqualsTb4b4b4(Te6edf3extractedArtifactTb4b4b4.Te6edf3uriTb4b4b4, Te6edf3pendingFileTff7b72?.Te6edf3uriTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile prefers esp32 update binary from release bundle`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Tff7b72val Te6edf3espHardware Tff7b72= Te6edf3DeviceHardwareTb4b4b4(Te6edf3hwModel Tff7b72= T79c0ff1Tb4b4b4, Te6edf3architecture Tff7b72= Ta5d6ff"Ta5d6ffesp32Ta5d6ff"Tb4b4b4, Te6edf3platformioTarget Tff7b72= Ta5d6ff"Ta5d6fftbeamTa5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3espHardwareTb4b4b4)
Tff7b72val Te6edf3requestedPreferredFilenames Tff7b72= Te6edf3mutableListOfTff7b72<Tffa657String?Tff7b72>Tb4b4b4(Tb4b4b4)
Tff7b72val Te6edf3extractedArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.7.15-update.binTa5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.7.15-update.binTa5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4.Te6edf3calls Tb4b4b4{
Tff7b72val Te6edf3preferredFilename Tff7b72= Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff3Tff7b72] Tff7b72as Tffa657String?
Te6edf3requestedPreferredFilenames Tff7b72+Tff7b72= Te6edf3preferredFilename
Tff7b72if Tb4b4b4(Te6edf3preferredFilename Tff7b72=Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.7.15-update.binTa5d6ff"Tb4b4b4) Te6edf3extractedArtifact Tff7b72else Tff7b72null
Tb4b4b4}

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-esp32-2.7.15.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertEqualsTb4b4b4(Te6edf3listOfTff7b72<Tffa657String?Tff7b72>Tb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.7.15-update.binTa5d6ff"Tb4b4b4)Tb4b4b4, Te6edf3requestedPreferredFilenamesTb4b4b4)
Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.7.15-update.binTa5d6ff"Tb4b4b4, Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTff7b72?.Te6edf3fileNameTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile extracts usb firmware from release bundle`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Tff7b72val Te6edf3bundleUri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-nrf52840-2.8.0.zipTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3extractedArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3extractedArtifact

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3bundleUriTb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3pendingFile Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3value
Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4, Te6edf3pendingFileTff7b72?.Te6edf3fileNameTb4b4b4)
Te6edf3assertEqualsTb4b4b4(Te6edf3extractedArtifactTb4b4b4.Te6edf3uriTb4b4b4, Te6edf3pendingFileTff7b72?.Te6edf3uriTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`dismissLocalFirmwareFile deletes extracted bundle firmware`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Tff7b72val Te6edf3extractedArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3extractedArtifact

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-nrf52840-2.8.0.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3dismissLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3verifySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3deleteFileTb4b4b4(Te6edf3extractedArtifactTb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`checkForUpdates clears pending local firmware selection`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4, Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTff7b72?.Te6edf3fileNameTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3checkForUpdatesTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile starts ESP32 BLE update without zip extraction`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// BLE with valid MAC address
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffx11:22:33:44:55:66Ta5d6ff"Tb4b4b4)
Tff7b72val Te6edf3espHardware Tff7b72= Te6edf3DeviceHardwareTb4b4b4(Te6edf3hwModel Tff7b72= T79c0ff1Tb4b4b4, Te6edf3architecture Tff7b72= Ta5d6ff"Ta5d6ffesp32Ta5d6ff"Tb4b4b4, Te6edf3platformioTarget Tff7b72= Ta5d6ff"Ta5d6fftbeamTa5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3espHardwareTb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3state Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateMethodTb4b4b4.Te6edf3BleTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4.Te6edf3updateMethodTb4b4b4)

T8b949e// Mock startUpdate β€” the firmwareUri should be the original URI after filename validation.
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4.Te6edf3calls Tb4b4b4{
Tf0883e@SuppressTb4b4b4(Ta5d6ff"Ta5d6ffUNCHECKED_CASTTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3updateState Tff7b72= Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff3Tff7b72] Tff7b72as Tb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4) Tff7b72-Tff7b72> Tffa657Unit
Te6edf3updateStateTb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3SuccessTb4b4b4(Tb4b4b4)Tb4b4b4)
Tff7b72null
Tb4b4b4}

Tff7b72val Te6edf3selectedUri Tff7b72= Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.binTa5d6ff"Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3selectedUriTb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3verifySuspend Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3firmwareUri Tff7b72= Te6edf3selectedUriTb4b4b4) Tb4b4b4}

Tff7b72val Te6edf3finalState Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertTrueTb4b4b4(
Te6edf3finalState Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3Success Tff7b72|Tff7b72|
Te6edf3finalState Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3Verifying Tff7b72|Tff7b72|
Te6edf3finalState Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3VerificationFailedTb4b4b4,
Ta5d6ff"Ta5d6ffExpected success/verify state, got Tffd700$Te6edf3finalStateTa5d6ff"Tb4b4b4,
Tb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile is no-op when state is not Ready`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Force state to Error
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Tff7b72nullTb4b4b4)
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Should still be Error β€” prepareLocalFirmwareFile returned early
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`startUpdate keeps AwaitingFileSave state for USB path`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// Regression: the UF2/USB flow ends at AwaitingFileSave β€” a deliberate pause for the file picker, not a
T8b949e// missing terminal state. startUpdate() must leave it intact; previously it fell into the else branch and
T8b949e// clobbered it to Error, so tapping "Update via USB File Transfer" always failed.
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Tff7b72val Te6edf3ready Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3readyTb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateMethodTb4b4b4.Te6edf3UsbTff7b72>Tb4b4b4(Te6edf3readyTb4b4b4.Te6edf3updateMethodTb4b4b4)

Tff7b72val Te6edf3artifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/firmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware.uf2Ta5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4.Te6edf3calls Tb4b4b4{
Tf0883e@SuppressTb4b4b4(Ta5d6ff"Ta5d6ffUNCHECKED_CASTTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3updateState Tff7b72= Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff3Tff7b72] Tff7b72as Tb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4) Tff7b72-Tff7b72> Tffa657Unit
Te6edf3updateStateTb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTb4b4b4(Te6edf3artifactTb4b4b4, Ta5d6ff"Ta5d6fffirmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3artifact
Tb4b4b4}

Te6edf3viewModelTb4b4b4.Te6edf3startUpdateTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile keeps AwaitingFileSave state for USB path`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateMethodTb4b4b4.Te6edf3UsbTff7b72>Tb4b4b4(Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value Tff7b72as Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTb4b4b4)Tb4b4b4.Te6edf3updateMethodTb4b4b4)

Tff7b72val Te6edf3artifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/extracted.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6ffextracted.uf2Ta5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4.Te6edf3calls Tb4b4b4{
Tf0883e@SuppressTb4b4b4(Ta5d6ff"Ta5d6ffUNCHECKED_CASTTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3updateState Tff7b72= Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff3Tff7b72] Tff7b72as Tb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4) Tff7b72-Tff7b72> Tffa657Unit
Te6edf3updateStateTb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTb4b4b4(Te6edf3artifactTb4b4b4, Ta5d6ff"Ta5d6ffextracted.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3artifact
Tb4b4b4}

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile cleans up on manager error state`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Mock startUpdate to transition to Error
Tff7b72val Te6edf3errorText Tff7b72= Te6edf3UiTextTb4b4b4.Te6edf3DynamicStringTb4b4b4(Ta5d6ff"Ta5d6ffFlash failedTa5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4.Te6edf3calls Tb4b4b4{
Tf0883e@SuppressTb4b4b4(Ta5d6ff"Ta5d6ffUNCHECKED_CASTTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3updateState Tff7b72= Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff3Tff7b72] Tff7b72as Tb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4) Tff7b72-Tff7b72> Tffa657Unit
Te6edf3updateStateTb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTb4b4b4(Te6edf3errorTextTb4b4b4)Tb4b4b4)
Te6edf3FirmwareArtifactTb4b4b4(Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/extracted.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4, Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4)
Tb4b4b4}

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3state Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4)
Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3verifySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3deleteFileTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile is cancelled when state changes before resolution starts`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// This test verifies that clearPendingLocalFirmwareFile (called by cancelUpdate)
T8b949e// cancels the in-flight prepareJob before its body executes. The _state.value !=
T8b949e// currentState stale-state guard inside the coroutine is defense-in-depth and is
T8b949e// not exercised by this test because StandardTestDispatcher never runs the body.
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Tff7b72val Te6edf3readyState Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3readyStateTb4b4b4)

T8b949e// Start prepare β€” launches a coroutine that suspends on getDisplayName.
Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4)

T8b949e// Change state during the suspend β€” cancelUpdate cancels the prepare job and resets state.
Te6edf3viewModelTb4b4b4.Te6edf3cancelUpdateTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Pending selection should NOT be set.
Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
T8b949e// State should NOT be Error.
Te6edf3assertFalseTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile shows error when filename is unavailable`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Override the @BeforeTest stub: getDisplayName returns null β†’ resolve cannot continue.
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3getDisplayNameTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tff7b72null

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3state Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`onCleared cleans up pending local firmware artifact`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Tff7b72val Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Prepare a bundle file so pendingLocalFirmwareArtifact is set. nrf52 + BLE expects an
T8b949e// .ota.zip payload, so the extracted artifact must match that extension or
T8b949e// validateExtractedLocalFirmware rejects it and pending is never populated.
Tff7b72val Te6edf3extractedArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(
Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/extracted-firmware-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4,
Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4,
Te6edf3isTemporary Tff7b72= Tff7b72trueTb4b4b4,
Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3extractFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3extractedArtifact

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-nrf52840-2.8.0.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Verify pending was set (artifact extracted from bundle).
Te6edf3assertNotNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)

T8b949e// Trigger onCleared via the idiomatic AndroidX ViewModelStore pattern.
Tff7b72val Te6edf3store Tff7b72= Te6edf3ViewModelStoreTb4b4b4(Tb4b4b4)
Te6edf3storeTb4b4b4.Te6edf3putTb4b4b4(Ta5d6ff"Ta5d6fffirmwareUpdateViewModelTa5d6ff"Tb4b4b4, Te6edf3viewModelTb4b4b4)
Te6edf3storeTb4b4b4.Te6edf3clearTb4b4b4(Tb4b4b4)

T8b949e// applicationScope uses the same testDispatcher, so advanceUntilIdle flushes the
T8b949e// ATOMIC + NonCancellable cleanup coroutine.
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Verify the extracted artifact was cleaned up.
Te6edf3verifySuspendTb4b4b4(Te6edf3atLeastTb4b4b4(T79c0ff1Tb4b4b4)Tb4b4b4) Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3deleteFileTb4b4b4(Te6edf3extractedArtifactTb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`confirmLocalFirmwareFile is no-op when pending selection was cancelled`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// After cancelUpdate clears the pending selection, confirmLocalFirmwareFile should
T8b949e// read null and return immediately β€” no error surfaced, no update started.
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

T8b949e// Prepare a valid file so pending is set (nrf52 + BLE expects .ota.zip).
Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3assertNotNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)

T8b949e// State changes away from Ready before user confirms (cancelUpdate β†’ Idle).
Te6edf3viewModelTb4b4b4.Te6edf3cancelUpdateTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)

T8b949e// Confirm should be a no-op: pending was cleared by cancelUpdate.
Te6edf3viewModelTb4b4b4.Te6edf3confirmLocalFirmwareFileTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertFalseTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTb4b4b4)
Te6edf3verifySuspendTb4b4b4(Te6edf3exactlyTb4b4b4(T79c0ff0Tb4b4b4)Tb4b4b4) Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`prepareLocalFirmwareFile shows error for Unknown update method`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// TCP + nRF52 (non-ESP32) resolves to FirmwareUpdateMethod.Unknown β€” local files are
T8b949e// not supported there; validateLocalFirmwareFileName returns UnsupportedUpdateMethod
T8b949e// and localFirmwarePayloadExtension returns null (no bundle extraction attempted).
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6fft192.168.1.100Ta5d6ff"Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3state Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateMethodTb4b4b4.Te6edf3UnknownTff7b72>Tb4b4b4(Te6edf3stateTb4b4b4.Te6edf3updateMethodTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3prepareLocalFirmwareFileTb4b4b4(Te6edf3firmwareUriTb4b4b4(Ta5d6ff"Ta5d6fffirmware-tbeam-2.8.0-ota.zipTa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertNullTb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3pendingLocalFirmwareFileTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3verifySuspendTb4b4b4(Te6edf3exactlyTb4b4b4(T79c0ff0Tb4b4b4)Tb4b4b4) Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

T8b949e// ── USB maintenance gating (factory erase / bootloader upgrade) ────────────────────────────────

Tf0883e@Test
Tff7b72fun Td2a8ff`maintenance is offered for an nrf device over usb with a resolved softdevice`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3nrfHardwareTb4b4b4(Te6edf3SoftDeviceVariantTb4b4b4.Te6edf3S140_6_1_1Tb4b4b4)Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3ready Tff7b72= Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertTrueTb4b4b4(Te6edf3readyTb4b4b4.Te6edf3maintenanceTb4b4b4.Te6edf3showTb4b4b4, Ta5d6ff"Ta5d6ffnRF over USB should offer maintenanceTa5d6ff"Tb4b4b4)
Te6edf3assertEqualsTb4b4b4(Tff7b72nullTb4b4b4, Te6edf3readyTb4b4b4.Te6edf3maintenanceTb4b4b4.Te6edf3eraseRefusalTb4b4b4, Ta5d6ff"Ta5d6ffa resolved SoftDevice must not refuseTa5d6ff"Tb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`maintenance refuses erase when the softdevice is unresolved`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3nrfHardwareTb4b4b4(Te6edf3softDevice Tff7b72= Tff7b72nullTb4b4b4)Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3ready Tff7b72= Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertTrueTb4b4b4(Te6edf3readyTb4b4b4.Te6edf3maintenanceTb4b4b4.Te6edf3showTb4b4b4, Ta5d6ff"Ta5d6ffthe action stays visible so the refusal can be explainedTa5d6ff"Tb4b4b4)
Te6edf3assertEqualsTb4b4b4(Te6edf3UsbMaintenanceRefusalTb4b4b4.Te6edf3UnknownSoftDeviceTb4b4b4, Te6edf3readyTb4b4b4.Te6edf3maintenanceTb4b4b4.Te6edf3eraseRefusalTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`maintenance is hidden over bluetooth`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// The flow needs the UF2 mass-storage volume, which only exists on a USB connection.
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffx11:22:33:44:55:66Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3nrfHardwareTb4b4b4(Te6edf3SoftDeviceVariantTb4b4b4.Te6edf3S140_6_1_1Tb4b4b4)Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3ready Tff7b72= Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertFalseTb4b4b4(Te6edf3readyTb4b4b4.Te6edf3maintenanceTb4b4b4.Te6edf3showTb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`starting a refused erase performs no reboot and no download`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// Defence in depth behind the disabled button: a refused erase must not touch the device.
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3nrfHardwareTb4b4b4(Te6edf3softDevice Tff7b72= Tff7b72nullTb4b4b4)Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3wipeDevice Tff7b72= Tff7b72trueTb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
T8b949e// performUsbMaintenance downloads the firmware before it reboots to DFU, so proving no download was attempted
T8b949e// also proves the device was never rebooted. FakeRadioController.rebootToDfu records nothing to assert on.
Te6edf3verifySuspendTb4b4b4(Te6edf3mode Tff7b72= Te6edf3VerifyModeTb4b4b4.Te6edf3notTb4b4b4) Tb4b4b4{ Te6edf3firmwareRetrieverTb4b4b4.Te6edf3retrieveUsbFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`starting a bootloader upgrade the gate would not offer performs no reboot and no download`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// Defence in depth: an ESP32 has no bootloader-upgrade action to show in the first place
T8b949e// (showBootloaderUpgrade is nRF-only), so a stray call must refuse before touching the device.
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3DeviceHardwareTb4b4b4(Te6edf3hwModel Tff7b72= T79c0ff1Tb4b4b4, Te6edf3architecture Tff7b72= Ta5d6ff"Ta5d6ffesp32Ta5d6ff"Tb4b4b4, Te6edf3platformioTarget Tff7b72= Ta5d6ff"Ta5d6fftbeamTa5d6ff"Tb4b4b4)Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Tff7b72val Te6edf3ready Tff7b72= Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ReadyTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertFalseTb4b4b4(Te6edf3readyTb4b4b4.Te6edf3maintenanceTb4b4b4.Te6edf3showBootloaderUpgradeTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3startBootloaderUpgradeTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3verifySuspendTb4b4b4(Te6edf3mode Tff7b72= Te6edf3VerifyModeTb4b4b4.Te6edf3notTb4b4b4) Tb4b4b4{ Te6edf3firmwareRetrieverTb4b4b4.Te6edf3retrieveUsbFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Te6edf3assertFalseTb4b4b4(Te6edf3firmwareMaintenanceLockTb4b4b4.Te6edf3isActiveTb4b4b4, Ta5d6ff"Ta5d6ffa refused request must never take the maintenance lockTa5d6ff"Tb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`writeMaintenancePass is ignored when no sequence is running`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Tff7b72val Te6edf3before Tff7b72= Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value

Te6edf3viewModelTb4b4b4.Te6edf3writeMaintenancePassTb4b4b4(Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6ffcontent://tree/1234-5678%3ATa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertEqualsTb4b4b4(Te6edf3beforeTb4b4b4, Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4, Ta5d6ff"Ta5d6ffa stray volume pick must not change stateTa5d6ff"Tb4b4b4)
Tb4b4b4}

Tff7b72private Tff7b72fun Td2a8ffnrfHardwareTb4b4b4(Te6edf3softDeviceTb4b4b4: Te6edf3SoftDeviceVariant?Tb4b4b4) Tff7b72= Te6edf3DeviceHardwareTb4b4b4(
Te6edf3hwModel Tff7b72= T79c0ff9Tb4b4b4,
Te6edf3hwModelSlug Tff7b72= Ta5d6ff"Ta5d6ffRAK4631Ta5d6ff"Tb4b4b4,
Te6edf3platformioTarget Tff7b72= Ta5d6ff"Ta5d6ffrak4631Ta5d6ff"Tb4b4b4,
Te6edf3architecture Tff7b72= Ta5d6ff"Ta5d6ffnrf52840Ta5d6ff"Tb4b4b4,
Te6edf3displayName Tff7b72= Ta5d6ff"Ta5d6ffRAK4631Ta5d6ff"Tb4b4b4,
Te6edf3activelySupported Tff7b72= Tff7b72trueTb4b4b4,
Te6edf3softDeviceVariant Tff7b72= Te6edf3softDeviceTb4b4b4,
Tb4b4b4)

Tf0883e@Test
Tff7b72fun Td2a8ff`a refused erase never takes the maintenance lock`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3nrfHardwareTb4b4b4(Te6edf3softDevice Tff7b72= Tff7b72nullTb4b4b4)Tb4b4b4)

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3wipeDevice Tff7b72= Tff7b72trueTb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertFalseTb4b4b4(
Te6edf3firmwareMaintenanceLockTb4b4b4.Te6edf3isActiveTb4b4b4,
Ta5d6ff"Ta5d6ffrefusing before the sequence starts must leave the radio transport unblockedTa5d6ff"Tb4b4b4,
Tb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`a failed preparation releases the maintenance lock`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// The lock suppresses transport restarts; leaking it would leave the app unable to reconnect at all.
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3nrfHardwareTb4b4b4(Te6edf3SoftDeviceVariantTb4b4b4.Te6edf3S140_6_1_1Tb4b4b4)Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareRetrieverTb4b4b4.Te6edf3retrieveUsbFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tff7b72null

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3wipeDevice Tff7b72= Tff7b72trueTb4b4b4)
T8b949e// CMP 1.12 loads string resources on an internal Dispatchers.Default scope, outside the
T8b949e// test scheduler β€” drain in real time until the maintenance flow reaches its terminal state.
Te6edf3runUntilSettled Tb4b4b4{ Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3Error Tb4b4b4}

Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3ErrorTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertFalseTb4b4b4(Te6edf3firmwareMaintenanceLockTb4b4b4.Te6edf3isActiveTb4b4b4, Ta5d6ff"Ta5d6ffa failed preparation must not leak the lockTa5d6ff"Tb4b4b4)
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`completing the firmware pass of a maintenance sequence releases the lock`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// Regression: the FromVolume (erase) pass releases the lock through advancePastPass, but the sequence's
T8b949e// final Prepared (firmware) pass is saved through the pre-existing saveDfuFile β€” which had no idea the lock
T8b949e// existed. That left every SUCCESSFUL erase/upgrade leaking the lock forever, permanently suppressing the
T8b949e// radio transport's auto-reconnect for the rest of the app session (see SharedRadioInterfaceService).
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3deviceHardwareRepositoryTb4b4b4.Te6edf3getDeviceHardwareByModelTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3ResultTb4b4b4.Te6edf3successTb4b4b4(Te6edf3nrfHardwareTb4b4b4(Te6edf3SoftDeviceVariantTb4b4b4.Te6edf3S140_6_1_1Tb4b4b4)Tb4b4b4)

Tff7b72val Te6edf3firmwareArtifact Tff7b72=
Te6edf3FirmwareArtifactTb4b4b4(Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/firmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4, Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware.uf2Ta5d6ff"Tb4b4b4)
Tff7b72val Te6edf3eraseArtifact Tff7b72= Te6edf3FirmwareArtifactTb4b4b4(Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/erase.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4, Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fferase.uf2Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareRetrieverTb4b4b4.Te6edf3retrieveUsbFirmwareTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3firmwareArtifact
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareRetrieverTb4b4b4.Te6edf3retrieveMaintenanceUf2Tb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3eraseArtifact

T8b949e// No SoftDevice line on the volume β€” falls back to the (resolved) map variant, matching every other case
T8b949e// this suite already covers for that fallback.
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3isRemovableDestinationTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tff7b72true
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3readSiblingTextTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Ta5d6ff"Ta5d6ffBoard-ID: Test-BoardTa5d6ff\Ta5d6ffrTa5d6ff\Ta5d6ffnTa5d6ff"
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3createDocumentInTreeTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns
Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6ffcontent://tree/1234-5678%3A/document/erase.uf2Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3copyToUriTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns T79c0ff1T79c0ff0T79c0ff2T79c0ff4L
Te6edf3every Tb4b4b4{ Te6edf3usbManagerTb4b4b4.Te6edf3deviceDetachFlowTb4b4b4(Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3flowOfTb4b4b4(Tffa657UnitTb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3usbManagerTb4b4b4.Te6edf3serialPortKeysTb4b4b4(Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3emptySetTb4b4b4(Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3usbManagerTb4b4b4.Te6edf3unblockCdcPortTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tff7b72true

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3wipeDevice Tff7b72= Tff7b72trueTb4b4b4)
T8b949e// CMP 1.12 loads string resources outside the test scheduler; settle in real time per pass.
Te6edf3runUntilSettled Tb4b4b4{ Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value Tff7b72is Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSave Tb4b4b4}

T8b949e// First pass (erase image) β€” writes through writeMaintenancePass.
Tff7b72val Te6edf3awaitingErase Tff7b72= Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertEqualsTb4b4b4(Te6edf3UsbFileSaveStepTb4b4b4.Te6edf3FactoryEraseTb4b4b4, Te6edf3awaitingEraseTb4b4b4.Te6edf3stepTb4b4b4)
Te6edf3viewModelTb4b4b4.Te6edf3writeMaintenancePassTb4b4b4(Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6ffcontent://tree/1234-5678%3ATa5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3runUntilSettled Tb4b4b4{
Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3value Tff7b72as? Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTb4b4b4)Tff7b72?.Te6edf3step Tff7b72=Tff7b72= Te6edf3UsbFileSaveStepTb4b4b4.Te6edf3Firmware
Tb4b4b4}

Te6edf3assertTrueTb4b4b4(Te6edf3firmwareMaintenanceLockTb4b4b4.Te6edf3isActiveTb4b4b4, Ta5d6ff"Ta5d6ffthe lock must still be held between passesTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3awaitingFirmware Tff7b72= Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)
Te6edf3assertEqualsTb4b4b4(Te6edf3UsbFileSaveStepTb4b4b4.Te6edf3FirmwareTb4b4b4, Te6edf3awaitingFirmwareTb4b4b4.Te6edf3stepTb4b4b4)
Te6edf3assertNotNullTb4b4b4(Te6edf3awaitingFirmwareTb4b4b4.Te6edf3uf2ArtifactTb4b4b4, Ta5d6ff"Ta5d6ffthe terminal pass must carry its artifactTa5d6ff"Tb4b4b4)

T8b949e// Second, terminal pass (firmware image) β€” writes through the pre-existing saveDfuFile.
Te6edf3viewModelTb4b4b4.Te6edf3saveDfuFileTb4b4b4(Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///output/firmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3runUntilSettled Tb4b4b4{ Tff7b72!Te6edf3firmwareMaintenanceLockTb4b4b4.Te6edf3isActive Tb4b4b4}

Te6edf3assertFalseTb4b4b4(
Te6edf3firmwareMaintenanceLockTb4b4b4.Te6edf3isActiveTb4b4b4,
Ta5d6ff"Ta5d6ffcompleting the sequence's terminal pass must release the lock, or auto-reconnect stays suppressed foreverTa5d6ff"Tb4b4b4,
Tb4b4b4)

T8b949e// The rebooted device is a new USB identity to Android, so verification must preflight the permission
T8b949e// grant β€” otherwise auto-recovery dies on SecurityException and a healthy update reads as a failure.
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3verifySuspend Tb4b4b4{ Te6edf3usbManagerTb4b4b4.Te6edf3ensureSerialPermissionTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4}
Tb4b4b4}

Tf0883e@Test
Tff7b72fun Td2a8ff`a granted USB permission preflight reconnects explicitly instead of waiting on auto-recovery`Tb4b4b4(Tb4b4b4) Tff7b72= Te6edf3runTest Tb4b4b4{
T8b949e// Auto-recovery's attach trigger fires while the permission dialog is still up and never retries on
T8b949e// the grant, so verification must reconnect deterministically once the grant is in hand.
Te6edf3every Tb4b4b4{ Te6edf3radioPrefsTb4b4b4.Te6edf3devAddr Tb4b4b4} Te6edf3returns Te6edf3MutableStateFlowTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3usbManagerTb4b4b4.Te6edf3ensureSerialPermissionTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns Tff7b72true
Te6edf3every Tb4b4b4{ Te6edf3usbManagerTb4b4b4.Te6edf3deviceDetachFlowTb4b4b4(Tb4b4b4) Tb4b4b4} Te6edf3returns Te6edf3flowOfTb4b4b4(Tffa657UnitTb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3fileHandlerTb4b4b4.Te6edf3copyToUriTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3returns T79c0ff1T79c0ff0T79c0ff2T79c0ff4L

Te6edf3viewModel Tff7b72= Te6edf3createViewModelTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Tff7b72val Te6edf3artifact Tff7b72= Te6edf3FirmwareArtifactTb4b4b4(Te6edf3uri Tff7b72= Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///tmp/firmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4, Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware.uf2Ta5d6ff"Tb4b4b4)
Te6edf3everySuspend Tb4b4b4{ Te6edf3firmwareUpdateManagerTb4b4b4.Te6edf3startUpdateTb4b4b4(Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4, Te6edf3anyTb4b4b4(Tb4b4b4)Tb4b4b4) Tb4b4b4} Te6edf3calls
Tb4b4b4{
Tf0883e@SuppressTb4b4b4(Ta5d6ff"Ta5d6ffUNCHECKED_CASTTa5d6ff"Tb4b4b4)
Tff7b72val Te6edf3updateState Tff7b72= Tffa657itTb4b4b4.Te6edf3argsTff7b72[T79c0ff3Tff7b72] Tff7b72as Tb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4) Tff7b72-Tff7b72> Tffa657Unit
Te6edf3updateStateTb4b4b4(Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTb4b4b4(Te6edf3uf2Artifact Tff7b72= Te6edf3artifactTb4b4b4, Te6edf3fileName Tff7b72= Ta5d6ff"Ta5d6fffirmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3artifact
Tb4b4b4}
Te6edf3viewModelTb4b4b4.Te6edf3startUpdateTb4b4b4(Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)
Te6edf3assertIsTff7b72<Te6edf3FirmwareUpdateStateTb4b4b4.Te6edf3AwaitingFileSaveTff7b72>Tb4b4b4(Te6edf3viewModelTb4b4b4.Te6edf3stateTb4b4b4.Te6edf3valueTb4b4b4)

Te6edf3viewModelTb4b4b4.Te6edf3saveDfuFileTb4b4b4(Te6edf3CommonUriTb4b4b4.Te6edf3parseTb4b4b4(Ta5d6ff"Ta5d6fffile:///output/firmware.uf2Ta5d6ff"Tb4b4b4)Tb4b4b4)
Te6edf3advanceUntilIdleTb4b4b4(Tb4b4b4)

Te6edf3assertEqualsTb4b4b4(Ta5d6ff"Ta5d6ffs/dev/ttyUSB0Ta5d6ff"Tb4b4b4, Te6edf3radioControllerTb4b4b4.Te6edf3lastSetDeviceAddressTb4b4b4, Ta5d6ff"Ta5d6ffgrant in hand β†’ explicit reconnectTa5d6ff"Tb4b4b4)
Tb4b4b4}
Tb4b4b4}

Served by rngit 1.5.0 - Generated in 0.21s